1. Applications of process algebra

by Baeten, J. C. M.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Cambridge: Cambridge University Press, 2004Availability: Items available for loan: [Call number: 512 BAE] (1).
2. Linear logic in computer science

by Ehrhard, Thomas.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Cambridge: Cambridge University Press, 2004Availability: Items available for loan: [Call number: 511.36 EHR] (1).
3. Geometry of information retrieval

by Van Rijsbergen, C. J.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Cambridge: Cambridge University Press, 2004Availability: Items available for loan: [Call number: 025.04 VAN] (1).
4. Computational introduction to number theory and algebra

by Shoup, Victor.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Cambridge: Cambridge University Press, 2005Availability: Items available for loan: [Call number: 512.7 SHO] (1).
5. Lectures in game theory for computer scientists

by Apt, Krzysztof R | Gradel, Erich.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Cambridge: Cambridge University Press, 2011Availability: Items available for loan: [Call number: 004.015193 APT] (1).
6. Modern computer algebra

by Gathen, Joachim von Zur | Gerhard, Jurgen.

Edition: 2nd ed.Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Cambridge: Cambridge University Press, 2003Availability: Items available for loan: [Call number: 512.00285 VON] (1).
7. Scientific computation

by Gonnet, Gaston H | Scholl, Ralf.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Cambridge: Cambridge University Press, 2009Availability: Items available for loan: [Call number: 501.51 GON] (1).
8. Mathematics of public key cryptography

by Galbraith, Steven D.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Cambridge: Cambridge University Press, 2012Availability: Items available for loan: [Call number: 003.54 GAL] (1).
9. Quantum computation and quantum information

by Nielsen, Michael A.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New Delhi Cambridge University Press 2010Availability: Items available for loan: [Call number: 004.1 NIE] (1).
10. Probability and computing : randomization and probabilistic techniques in algorithms and data analysis

by Mitzenmacher, Michael | Upfal, Eli.

Edition: 2nd ed.Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Cambridge : Cambridge University Press, 2017Availability: No items available Checked out (1).
11. Connections in discrete mathematics : a celebration of the work of Ron Graham

by Butler, Steve | Cooper, Joshua | Hurlbert, Glenn H.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York : Cambridge University Press, 2018Availability: Items available for loan: [Call number: 511.1 BUT] (1).
12. Geometric spanner networks

by Narasimhan,Giri | Smid, Michiel.

Publisher: Cambridge Cambridge University Press 2007Availability: Items available for loan: [Call number: 005.1 NAR] (1).
13. Physical perspectives on computation, computational perspectives on physics

by Cuffaro, Michael E. ed | Fletcher, Samuel C. ed.

Publisher: Cambridge : Cambridge University Press, 2020Availability: Items available for loan: [Call number: 530.15 CUF] (1).
14. Signal processing and networking for big data applications

by Han, Zhu | Hong, Mingyi | Wang, Dan.

Publisher: Cambridge : Cambridge University Press, 2017Availability: Items available for loan: [Call number: 005.7 HAN] (1).

Powered by Koha